Mathematical programming - PDFSEARCH.IO - Document Search Engine

Mathematical programming
Results: 4310

#	Item
341	A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software Ewen Denney SGT / NASA Ames Moffett Field, CA 94035 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Software requirements Formal methods Procedural programming languages Requirement Comment Formal verification Traceability Axiom C Mathematical proof Metamath
342	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Conjecture Synthesis for Inductive Theories Moa Johansson · Lucas Dixon · Alan Bundy Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-03-21 07:54:00 Mathematical optimization Constraint programming Logical consequence Statements Theorem Constraint Constraint logic programming Constraint satisfaction
343	Preface The main motivation of writing this book was to help myself. I am a professor in the field of operations research, and my daily activities involve building models of mathematical optimization, developing algorit Add to Reading List Source URL: www.chkwon.net Language: English - Date: 2016-08-04 11:55:32 Operations research Mathematical optimization Computer algebra systems Mathematical modeling Program optimization AMPL Algorithm Julia Linear programming Computer programming Computational science Theoretical computer science
344	PDF Document Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2015-04-24 09:43:30 Logic in computer science Formal methods Mathematical logic Notation Programming language Formal verification Semantics Structure Program transformation Logic programming Model theory Denotational semantics
345	Microsoft Word - NEW03.docx Add to Reading List Source URL: agecon2.tamu.edu Language: English - Date: 2013-08-28 14:35:23 Operations research Simplex algorithm Linear programming Variable Reduced cost Equation solving Matrix Mathematical optimization Expected value
346	DIAGNOSTIC IN-CLASS QUIZ SOLUTIONS: DUE WEDNESDAY OCTOBER 2: VECTORS (BASIC STUFF) MATH 196, SECTION 57 (VIPUL NAIK) 1. Performance review 30 people took this 3-question quiz. The score distribution was as follows: Add to Reading List Source URL: files.vipulnaik.com Language: English - Date: 2016-08-13 11:33:29 Mathematical analysis Equations Elementary algebra Regression analysis Derivative Rates Linear algebra Equation solving Inequality Euclidean vector SturmLiouville theory Draft:Pirate programming
347	Multi-area control of overlapping areas in power systems for FACTS control Gabriela Hug-Glanzmann∗ , Rudy Negenborn+ , G¨oran Andersson∗ , Bart De Schutter+,o , Hans Hellendoorn+ ∗ + Add to Reading List Source URL: www.eeh.ee.ethz.ch Language: English - Date: 2008-11-28 06:49:31 Constraint programming Mathematical optimization Electric power Operations research Power engineering Power-flow study Decomposition method Constrained optimization Economic model Bus
348	A semidefinite programming hierarchy for packing problems in discrete geometry David de Laat (TU Delft) Joint work with Frank Vallentin (Universit¨at zu K¨oln) Applications of Real Algebraic Geometry Add to Reading List Source URL: www.daviddelaat.nl Language: English NP-complete problems Operations research Independent set Optimization problem Discrete geometry Graph Duality Packing problems Mathematical optimization Planar graphs Matching Matroid
349	1 Tensor Completion for Estimating Missing Values in Visual Data Ji Liu, Przemyslaw Musialski, Peter Wonka, and Jieping Ye Abstract—In this paper we propose an algorithm to estimate missing values in tensors of visual Add to Reading List Source URL: peterwonka.net Language: English - Date: 2012-05-28 11:12:59 Linear algebra Matrix theory Tensors Mathematical optimization Numerical linear algebra Matrix completion Tensor rank decomposition Low-rank approximation Singular value decomposition Matrix Tensor Semidefinite programming
350	Table of Contents Formula Prediction using Genetic Algorithms / 1 Namir Aldawoodi and Rafael Perez Building-Block Identification by Simultaneity Matrix / 7 Chatchawit Aporntewan and Prabhas Chongstitvatana An Evolutionar Add to Reading List Source URL: www.sigevo.org Language: English - Date: 2013-10-03 16:18:20 Mathematical optimization Evolutionary algorithms Cybernetics Genetic algorithms Operations research Evolutionary computation Genetic programming Fitness function Global optimization Multi-objective optimization Grammatical evolution Particle filter

UPDATE